[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 233 139 0 0 0 0 -1

N.S.

1 1.00 1.71 1.02 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.151 0.242 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 154 81 0 0 0 0 -1

N.S.

1 1.00 1.69 0.89 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.283 0.212 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 159 94 0 0 0 0 -1

N.S.

1 1.00 1.64 0.97 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.082 0.214 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 44 42 0 0 0 0 -1

N.S.

1 1.00 0.80 0.76 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.035 0.145 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 86 66 0 0 0 0 -1

N.S.

1 1.00 1.46 1.12 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.065 0.028 0.156 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.009 0.350 0.177 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 322 173 0 0 0 0 -1

N.S.

1 1.00 1.37 0.74 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.294 1.159 0.250 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 203 107 0 0 0 0 -1

N.S.

1 1.00 1.61 0.85 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.226 0.602 0.223 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 220 115 0 0 0 0 -1

N.S.

1 1.00 1.76 0.92 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.206 0.567 0.194 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 61 56 0 0 0 0 -1

N.S.

1 1.00 0.69 0.63 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.122 0.063 0.171 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 122 83 0 0 0 0 -1

N.S.

1 1.00 1.61 1.09 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.161 0.155 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.009 0.338 0.181 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 418 225 0 0 0 0 -1

N.S.

1 1.00 1.58 0.85 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.275 7.244 0.256 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 264 139 0 0 0 0 -1

N.S.

1 1.00 1.39 0.73 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.224 2.732 0.234 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 281 154 0 0 0 0 -1

N.S.

1 1.00 1.47 0.81 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.237 1.862 0.199 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 75 73 0 0 0 0 -1

N.S.

1 1.00 0.63 0.61 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.126 0.074 0.162 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 151 110 0 0 0 0 -1

N.S.

1 1.00 1.44 1.05 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.111 0.377 0.165 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.009 0.358 0.175 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

65 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.080 0.993 0.918 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

65 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.082 0.910 0.606 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 132 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 1.722 1.562 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 54 0 0 0 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.018 0.034 1.825 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.012 2.388 0.838 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.011 0.592 1.079 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.011 5.664 0.145 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.011 5.505 0.106 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.011 5.181 0.106 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.011 3.855 0.104 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.012 0.860 0.978 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 130 287 0 0 0 0 -1

N.S.

1 1.00 0.79 1.74 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.128 0.074 0.729 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 152 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.105 0.142 0.308 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 74 138 0 0 0 0 -1

N.S.

1 1.00 0.89 1.66 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.039 0.263 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 70 148 0 0 0 0 -1

N.S.

1 1.00 0.93 1.97 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.025 0.170 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.010 0.255 0.178 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.010 0.615 0.210 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.014 3.287 0.185 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.012 4.248 0.154 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.012 1.217 0.141 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.014 1.383 0.144 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 68 72 71 62 85 67 -1

N.S.

1 1.00 0.89 0.95 0.93 0.82 1.12 0.88 -0.01

time (sec)

N/A 0.024 0.032 0.096 0.465 3.890 0.226 0.417 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 55 64 60 54 70 56 -1

N.S.

1 1.00 0.92 1.07 1.00 0.90 1.17 0.93 -0.02

time (sec)

N/A 0.029 0.030 0.006 0.474 3.192 0.144 0.421 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 56 52 50 50 60 46 45

N.S.

1 1.00 1.10 1.02 0.98 0.98 1.18 0.90 0.88

time (sec)

N/A 0.015 0.024 0.006 0.460 3.617 0.091 0.424 0.302

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 32 31 32 29 31 29

N.S.

1 1.00 1.00 1.03 1.00 1.03 0.94 1.00 0.94

time (sec)

N/A 0.011 0.008 0.006 0.465 2.328 0.057 0.403 0.327

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 58 77 0 0 0 0 -1

N.S.

1 1.00 0.92 1.22 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.050 0.015 0.346 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 43 41 47 92 41 347 33

N.S.

1 1.00 1.34 1.28 1.47 2.88 1.28 10.84 1.03

time (sec)

N/A 0.021 0.010 0.004 0.478 3.075 1.135 0.537 0.286

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 44 50 37 37 63 492 -1

N.S.

1 1.00 1.13 1.28 0.95 0.95 1.62 12.62 -0.03

time (sec)

N/A 0.014 0.016 0.005 0.487 2.928 0.878 0.465 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 79 65 69 121 119 1634 -1

N.S.

1 1.00 1.27 1.05 1.11 1.95 1.92 26.35 -0.02

time (sec)

N/A 0.028 0.019 0.008 0.468 1.899 1.789 0.725 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 121 126 142 111 175 143 -1

N.S.

1 1.00 1.19 1.24 1.39 1.09 1.72 1.40 -0.01

time (sec)

N/A 0.105 0.087 0.071 0.488 1.933 0.266 0.445 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 104 118 0 99 131 119 -1

N.S.

1 1.00 1.37 1.55 0.00 1.30 1.72 1.57 -0.01

time (sec)

N/A 0.083 0.066 0.060 0.000 1.419 0.153 0.426 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 76 74 73 65 87 75 96

N.S.

1 1.00 1.62 1.57 1.55 1.38 1.85 1.60 2.04

time (sec)

N/A 0.043 0.037 0.076 0.482 2.157 0.094 0.398 0.462

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 128 194 0 0 0 0 -1

N.S.

1 1.00 1.39 2.11 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.071 0.148 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 134 192 0 0 0 0 -1

N.S.

1 1.00 1.51 2.16 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.149 0.115 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 218 235 273 195 333 289 -1

N.S.

1 1.00 1.22 1.32 1.53 1.10 1.87 1.62 -0.01

time (sec)

N/A 0.211 0.128 0.049 0.481 1.376 0.413 0.438 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 185 211 0 169 269 231 -1

N.S.

1 1.00 1.48 1.69 0.00 1.35 2.15 1.85 -0.01

time (sec)

N/A 0.152 0.101 0.062 0.000 1.829 0.267 0.445 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 128 134 144 108 165 150 164

N.S.

1 1.00 1.56 1.63 1.76 1.32 2.01 1.83 2.00

time (sec)

N/A 0.078 0.070 0.084 0.473 1.615 0.172 0.431 0.470

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 204 353 0 0 0 0 -1

N.S.

1 1.00 1.61 2.78 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.107 0.099 0.161 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 308 0 0 0 0 0 -1

N.S.

1 1.00 2.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.167 0.202 0.022 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 91 102 0 0 0 172 -1

N.S.

1 1.00 0.75 0.84 0.00 0.00 0.00 1.42 -0.01

time (sec)

N/A 0.150 0.120 0.079 0.000 0.000 0.000 0.403 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 56 58 0 0 0 86 -1

N.S.

1 1.00 0.89 0.92 0.00 0.00 0.00 1.37 -0.02

time (sec)

N/A 0.082 0.049 0.042 0.000 0.000 0.000 0.411 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 46 49 0 0 0 50 -1

N.S.

1 1.00 0.85 0.91 0.00 0.00 0.00 0.93 -0.02

time (sec)

N/A 0.052 0.049 0.076 0.000 0.000 0.000 0.411 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.017 0.244 0.630 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.016 2.745 0.276 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 124 147 0 0 0 615 -1

N.S.

1 1.00 0.80 0.95 0.00 0.00 0.00 3.97 -0.01

time (sec)

N/A 0.118 0.402 0.051 0.000 0.000 0.000 0.438 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 80 78 0 0 0 323 -1

N.S.

1 1.00 0.88 0.86 0.00 0.00 0.00 3.55 -0.01

time (sec)

N/A 0.062 0.204 0.051 0.000 0.000 0.000 0.410 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 72 74 0 0 0 193 -1

N.S.

1 1.00 0.84 0.86 0.00 0.00 0.00 2.24 -0.01

time (sec)

N/A 0.119 0.113 0.078 0.000 0.000 0.000 0.417 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.016 4.741 0.398 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.018 38.087 0.480 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 169 290 0 0 0 1479 -1

N.S.

1 1.00 0.86 1.47 0.00 0.00 0.00 7.51 -0.01

time (sec)

N/A 0.382 0.325 0.055 0.000 0.000 0.000 0.506 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 107 157 0 0 0 860 -1

N.S.

1 1.00 0.82 1.21 0.00 0.00 0.00 6.62 -0.01

time (sec)

N/A 0.211 0.198 0.045 0.000 0.000 0.000 0.455 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 89 139 0 0 0 481 -1

N.S.

1 1.00 0.80 1.25 0.00 0.00 0.00 4.33 -0.01

time (sec)

N/A 0.127 0.176 0.078 0.000 0.000 0.000 0.424 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.016 2.503 0.704 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.015 23.185 0.821 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 243 362 0 0 0 1057 -1

N.S.

1 1.00 1.00 1.50 0.00 0.00 0.00 4.37 -0.00

time (sec)

N/A 0.435 0.327 0.732 0.000 0.000 0.000 0.953 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 123 192 0 0 0 448 -1

N.S.

1 1.00 0.90 1.40 0.00 0.00 0.00 3.27 -0.01

time (sec)

N/A 0.244 0.145 0.308 0.000 0.000 0.000 0.739 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 120 186 0 0 0 531 -1

N.S.

1 1.00 0.99 1.54 0.00 0.00 0.00 4.39 -0.01

time (sec)

N/A 0.183 0.136 0.238 0.000 0.000 0.000 0.611 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.024 2.558 0.312 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.024 7.154 0.898 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 589 548 0 0 0 1967 -1

N.S.

1 1.00 1.88 1.75 0.00 0.00 0.00 6.28 -0.00

time (sec)

N/A 0.642 8.552 0.491 0.000 0.000 0.000 1.546 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 155 287 0 0 0 845 -1

N.S.

1 1.00 0.90 1.67 0.00 0.00 0.00 4.91 -0.01

time (sec)

N/A 0.283 0.609 0.309 0.000 0.000 0.000 0.993 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 295 278 0 0 0 993 -1

N.S.

1 1.00 1.86 1.75 0.00 0.00 0.00 6.25 -0.01

time (sec)

N/A 0.179 1.667 0.261 0.000 0.000 0.000 1.162 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.029 2.279 0.312 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.026 7.017 0.897 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

358 358 1002 798 0 0 0 2778 -1

N.S.

1 1.00 2.80 2.23 0.00 0.00 0.00 7.76 -0.00

time (sec)

N/A 0.830 12.611 0.505 0.000 0.000 0.000 2.049 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 201 414 0 0 0 1307 -1

N.S.

1 1.00 0.93 1.92 0.00 0.00 0.00 6.05 -0.00

time (sec)

N/A 0.435 1.394 0.329 0.000 0.000 0.000 1.198 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 383 401 0 0 0 1177 -1

N.S.

1 1.00 2.14 2.24 0.00 0.00 0.00 6.58 -0.01

time (sec)

N/A 0.277 2.962 0.257 0.000 0.000 0.000 1.452 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.027 2.314 0.297 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.027 7.015 0.879 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 225 198 0 0 0 317 -1

N.S.

1 1.00 1.01 0.89 0.00 0.00 0.00 1.42 -0.00

time (sec)

N/A 0.217 0.292 0.401 0.000 0.000 0.000 0.563 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 91 94 0 0 0 132 -1

N.S.

1 1.00 0.92 0.95 0.00 0.00 0.00 1.33 -0.01

time (sec)

N/A 0.096 0.110 0.160 0.000 0.000 0.000 0.485 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 118 89 0 0 0 159 -1

N.S.

1 1.00 1.16 0.87 0.00 0.00 0.00 1.56 -0.01

time (sec)

N/A 0.071 0.060 0.095 0.000 0.000 0.000 0.478 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.028 2.340 0.301 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.024 8.408 0.882 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 273 299 0 0 0 0 -1

N.S.

1 1.00 1.08 1.19 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.237 0.350 0.391 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 124 162 0 0 0 0 -1

N.S.

1 1.00 0.95 1.25 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.235 0.222 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 150 157 0 0 0 0 -1

N.S.

1 1.00 1.09 1.15 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.167 0.119 0.229 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.030 2.888 0.234 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.029 8.698 0.838 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 322 673 0 0 0 0 -1

N.S.

1 1.00 1.10 2.30 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.643 1.775 0.516 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 176 352 0 0 0 0 -1

N.S.

1 1.00 0.98 1.96 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.311 0.457 0.316 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 194 341 0 0 0 0 -1

N.S.

1 1.00 1.19 2.09 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.199 1.035 0.247 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]